Bunches for Object-Oriented, Concurrent, and Real-Time Specification
نویسندگان
چکیده
We show how a collection of object-oriented concepts can be directly expressed in predicative programming [6]. We demonstrate how these features can be used in cooperation with the existing real-time and concurrency features of predicative programming in several examples, thus providing a simple integration of object-orientation, real-time, and concurrency.
منابع مشابه
An Integration of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems
Real-Time Object-Z is an integration of the object-oriented formal specification language Object-Z with a timed trace notation suitable for modelling timing constraints and continuous variables. This extends the applicability of Object-Z to real-time and embedded systems. In this paper, we enhance the ability of Real-Time Object-Z to specify concurrent real-time and embedded systems by semantic...
متن کاملComposing Synchronization and Real-Time Constraints
There have been a number of publications illustrating the successes of object-oriented techniques in creating highly reusable software systems. Several concurrent languages have been proposed for specifying reusable synchronization specifications. Recently, a number of real-time object-oriented languages have been introduced for building object-oriented programs with real-time behavior. Composi...
متن کاملParallel Object-Oriented Specification Language
The Parallel Object-Oriented Specification Language (POOSL) is an expressive modelling language for hardware/software systems [10]. It was originally defined in [7] as an object-oriented extension of process algebra CCS [6], supporting (conditional) synchronous message passing between (hierarchically structured) asynchronous concurrent processes. Meanwhile, POOSL has been extended with real-tim...
متن کاملساختار دهی آنی داده‌‌های مکانی ورودی GIS با تأکید بر عارضه راه
An important issue in implementation of a GIS system is preparation of data to be entered in GIS. To produce spatial data for GIS using photogrammetric techniques, conventional method is to apply photogrammetric and GIS systems individually (off-line procedure). This approach is costly, time consuming and somehow unreliable due to the fact that 3D photogrammetric model is not available at the ...
متن کاملDuration Calculus in COOZ: A Formal Specification Language for Real-Time Systems
This paper introduces the idea of continuous time into COOZ, an object-oriented extension of Z notation, through establishing absolute clock and object clock. Then we use Duration Calculus to specify the real-time and history constraints of objects. By these means, COOZ is adapted to formal specifications of real-time and concurrent systems. A case study of automatic fire alarm system and the c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999